Bump Java source/target versions
authorJochen Sprickerhof <jspricke@debian.org>
Tue, 12 Oct 2021 07:45:14 +0000 (09:45 +0200)
committerJochen Sprickerhof <jspricke@debian.org>
Tue, 12 Oct 2021 07:45:14 +0000 (09:45 +0200)
Closes: #981974
debian/rules

index e28c06c6a0cbe4380394042521b5bfeaa8ba2ea6..c35cad06ba09f58910a206f2087258c0f1e7dce4 100755 (executable)
@@ -71,6 +71,8 @@ extra_flags +=  \
        -DCMAKE_BUILD_TYPE=RelWithDebInfo \
        -DVTK_MODULE_ENABLE_VTK_ParallelMPI:STRING="YES" \
        -DVTK_USE_MPI=ON \
+       -DVTK_JAVA_SOURCE_VERSION:STRING=1.8 \
+       -DVTK_JAVA_TARGET_VERSION:STRING=1.8 \
 
 
 override_dh_auto_configure: